Towards the Mathematics Software Bus
نویسندگان
چکیده
The Mathematics Software Bus is a software environment for combining heterogeneous systems performing any kind of mathematical computation. Such an environment will provide combinations of graphics, editing and computation tools through interfaces to already existing powerful software by flexible and powerful semantically integration. Communication and cooperation mechanisms for logical and symbolic computation systems enable to study and solve new classes of problems and to perform efficient computation in mathematics through cooperating specialized packages. We give an overview on the need for cooperation in solving mathematical problems and illustrate the advantages by several well-known examples. The needs and requirements for the Mathematics Software Bus and its architecture are demonstrated through some implementations of powerful interfaces between mathematical services.
منابع مشابه
A Novel Model for Bus Stop Location Appropriate for Public Transit Network Design: The Case of Central Business Districts (CBD) of Tehran
In this paper, a novel multi-objective bus stop location model is proposed, which considers not only the coverage of demand and minimization of access time but also the necessities of suitable stops for transit network design phase. Three objective functions are considered including minimizing (I) sum of the total access distance (time), (II) the weighted combination of stops, and (III) the num...
متن کاملTowards an Integrated Toolset for Program Understandingy
This paper describes some early results of a three-year project to develop an integrated toolset for program understanding. The implemented integration architecture involves both a global repository for all tools serviced by the architecture and a software bus serving communications among tools.
متن کاملOMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus.
متن کاملTowards an integrated toolset for program understanding
This paper describes some early results of a three-year project to develop an integrated toolset for program understanding. The implemented integration architecture involves both a global repository for all tools serviced by the architecture and a software bus serving communications among tools.
متن کاملTowards a Unifying Model Transformation Bus
Even after the advance of model driven engineering, reusable tool integration remains one of the greatest software engineering challenges. As we venture toward generic heterogeneous modeling tool interoperability, we focus on the most commonly used application programming interface (API)-level tool integration. In this paper, we propose a unifying model transformation bus. It is a model-driven ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 187 شماره
صفحات -
تاریخ انتشار 1997